Labels:text | screenshot | font | number | diagram | rectangle | line OCR: FIGURE 1 Mapping from Model to View for the Array of LEDs. MODEL CONTROLLER VIEW ledState[]-{ WARNING WARNING_LED-FALSE OK LED-TRUE OK SYSTEM_IDLE LED FALSE RefreshLeds SYSTEM_BUSY_LED=TRUE IDLE BUSY LED On LED off